In non-monotonic reasoning new knowledge can change whether somethibg is infered to be true. Non-montinic reasing often uses default rules. For example, if Hoppy is a dog, and we know that dogs (usually) have four legs, then we might conclude that the statement "Hoppy has four legs" is true. However, if we later learn that Hoppy had had a car accident as a puppy and had a leg amputated, we would then need to change our reasoning and instead conclude that "Hoppy has four legs" is false.
Defined on page 40
Used on page 40
Also known as non-monotonic
alandix.com: